3401. Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings
پدیدآورنده: I. Guessarian )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Parallel processing )Electronic computers(,، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
469
3402. Semantics of the probabilistic typed lambda calculus : Markov Chain semantics, termination behavior, and denotational semantics
پدیدآورنده: Dirk Draheim
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,Mathematics ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
D72S4
3403. Semantics of type theory : correctness, Completeness and independence results
پدیدآورنده: Thomas Streicher
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Functional programming )Computer science(,، Type theory
رده :
QA
76
.
7
.
S85
3404. Semantics of type theory : correctness, completeness, and independence results
پدیدآورنده: / Thomas Streicher
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Programming languages (Electronic computers) - Semantics,Functional programming (Computer science),Type theory
رده :
QA76
.
7
.
S82
1991
3405. Semantics with applications
پدیدآورنده: / Hanne Riis Nielson and Flemming Nielson
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Programming languages (Electronic computers)--Semantics
رده :
QA
,
76
.
7
,.
N543
,
2007
3406. Semantics with applications
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Programming languages (Electronic computers) ; Semantics. ;
3407. Semantics with applications: a formal introduction
پدیدآورنده: Nielson, Hanne Riis, 4591-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Programming languages )Electronic computers(- Semantics
رده :
QA76
.
7
.
N541992
3408. Setting up LAMP :
پدیدآورنده: Eric Rosebrock ; Eric Filson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Apache (Computer file : Apache Group),Linux.,MySQL (Electronic resource),Apache (Computer file : Apache Group),Linux.,MySQL (Electronic resource),PHP (Computer program language),Web sites-- Design.,COMPUTERS-- Programming Languages-- JavaScript.,COMPUTERS-- Programming Languages-- VBScript.,PHP (Computer program language),Web sites-- Design.
رده :
QA76
.
73
.
P224
R67
2004eb
3409. Seven languages in seven weeks
پدیدآورنده: Bruce A. Tate
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Programming languages (Electronic computers),Programming languages., sears
رده :
QA
،
76
.
7
،.
T38
،
2010
3410. Seven more languages in seven weeks :
پدیدآورنده: Bruce A. Tate, Fred Daoud, Ian Dees, Jack Moffitt ; foreword by José Valim ; edited by Jacquelyn Carter
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Programming languages (Electronic computers)
رده :
QA76
.
7
3411. SharePoint 2007 and Office development expert solutions /
پدیدآورنده: Randy Holloway, Andrej Kyselica, Steve Caravajal.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Microsoft Office.,Microsoft SharePoint (Electronic resource),Microsoft Office.,Microsoft SharePoint.,Microsoft Office.,Microsoft Office.,Microsoft SharePoint (Electronic resource),Microsoft SharePoint (Electronic resource),Intranets (Computer networks),Web servers.,Intranets.,Serveurs Web.,COMPUTERS-- Networking-- Intranets & Extranets.,Intranets (Computer networks),Web servers.
رده :
TK5105
.
875
.
I6
H64
2007eb
3412. Sharp pocket computer pc-1212:applications manual
پدیدآورنده:
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: MICROCOMPUTERS-PROGRAMMING , PROGRAMMING )ELECTRONIC COMPUTERS(
رده :
QA
76
.
8
.
P3
S33
3413. Sieben Wochen, sieben Sprachen
پدیدآورنده: Bruce A. Tate ; Deutsche Ubersetzung von Peter Klicman
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Programming languages (Electronic computers)
3414. Silicon literacies: communication, innovation and education in the electronic age
پدیدآورنده: edited by ilana snyder
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Computer graphics -- computer programs,، Programming )Electronic computers(
رده :
T
385
.
S57
3415. Simple digital computing examples
پدیدآورنده: Gregory, Malcolm S.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Mathematics-- Data processing
رده :
QA
76
.
5
.
G69
3416. Simple program design
پدیدآورنده: Robertson, Lesley Anne
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Programming (Electronic computers) ► Structured programming ► Pseudocode (Computer program language)
رده :
R643s
3417. Simple program schemes and formal languages
پدیدآورنده: Engelfriet, Joost.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Formal languages,، Programming )Electronic computers(
رده :
QA
267
.
3
.
E53
3418. Simple program schemes and formal languages
پدیدآورنده: Engelfriet, Joost
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Formal languages,، Programming )Electronic computers(
رده :
QA
267
.
3
.
E53
3419. Simplified Ansi FORTRAN Iv programming
پدیدآورنده: / Gerald A. Cilver, Joan B. Silver
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: FORTRAN (Computer program language),Electronic digital computers - Programming
رده :
001
.
6424F
S587s
1976
3420. Simplified BASIC programming; with companion problems
پدیدآورنده: Rosenblatt, Lisa
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Programming (Electronic Computers)
رده :
R813s
